Search Results
Formal Verification of Secure Forwarding Protocols
Guide To Formal Verification | Take Security To The Next Level
"Formally Verifying Everybody's Cryptography" by Mike Dodds, Joey Dodds (Strange Loop 2022)
Short Paper: Modular Black-box Runtime Verification of Security Protocols
USENIX Security '22 - SAPIC+: protocol verifiers of the world, unite!
A Formal Specification and Verification Framework for Timed Security Protocols
Formal Approaches for Automated Security Evaluation
Ralf Sasse, ETH - Security Protocol Verification Techniques
VerSecTis - an agent based model checker for security protocols. Submission 19
Provable Non-Frameability for 5G Lawful Interception
SCI-ED: Verified Secure Internet Forwarding
USENIX Security '20 - SmartVerif: Push the Limit of Automation Capability of Verifying Security...
